public class X {
	public static void main(String[] args) {
		int i = (@Marker int) 0;
		int j[] = (@Marker int @Marker []) null;
		Zork z;
	}
}
